abstract machine
英 [ˈæbstrækt məˈʃiːn]
美 [ˈæbstrækt məˈʃiːn]
网络 抽象机; 抽象机器; 抽象电脑; 抽象機器; 抽象计算机
双语例句
- You know, that book you lent me is really bizarre.
你知道吗，你借给我的那本书真的很怪诞。 - But in an application virtualization environment, the object code is interpreted within an abstract machine to provide the execution.
但是在一个应用程序虚拟化环境中，对象代码在一个抽象机器内经过解译，以便于执行。 - The key advantage here is that the same object code can be executed on any hardware platform that supports the abstract machine ( the interpreter).
这里的主要优势在于，可以在支持抽象机器（interpreter）的任何硬件平台上执行同样的对象代码。 - The semantic descriptions in this International Standard define a parameterized nondeterministic abstract machine.
在本标准的语义描述中，定义了一个参数化的，非确定的抽象机器。 - An instance of the abstract machine can thus have more than one possible execution sequence for a given program and a given input.
对于一个已知程序和已知数据，虚拟机器的实例将因其非确定方面产生不只一个可能的执行序列。 - Performance and evaluation of parallel graph rewriting abstract machine pam/ tgr
并行图重写抽象机PAM/TGR的性能与评价 - Analysis and Application Research on Chemical Abstract Machine
化学抽象机的分析与应用研究 - A formal semantics of processes of Agent organization structure design is given in this paper based on p-calculus and the chemical abstract machine ( CHAM).
基于p演算和化学抽象机给出了组织结构设计过程的一种形式语义。 - The rules of transforming from UML state machine into B abstract machine are provided.
给出了嵌入式软件设计中常用的UML并发状态图到B抽象模型的转换规则。 - The Design of an Abstract Machine Orienting Multiple Knowledge Representation Paradigms
一个面向多种知识表示模式的抽象机的设计 - The main contents of this paper are: semantic and syntactic extention of Prolog, augmentation and modification of WARREN abstract machine, important components and running procedure of the compiler, and seven definition rules for syntactic structure coding.
本文主要介绍：PROLOG语言的语义、语法扩充，主要是函数定义、函数调用和表达式计算；对WARREN抽象机数据结构、指令的增加和修改； - Data Structure and Interpretation of Warren Abstract Machine
Warren抽象机（WAM）的数据结构和解释实现 - In this paper, a scheme for managing Prolog code database in the framework of the Warren Abstract Machine ( WAM) is presented. The form of the object code is first described.
本文论述了作者提出的在基于Warren抽象机（简称WAM）的编译型Prolog系统中代码库的一种管理方法。 - Parallel abstract machine model of function language for Transputer network
基于TRANSPUTER网络的函数式语言的并行抽象机模型 - Furthermore, the abstract machine can be combinated with more knowledge representation paradigms.
此抽象机是HEST的运行子系统，还可以采用逐步扩充的办法与更多的知识表示模式结合起来。 - Then the paper derives a performance evaluation model, based on a Queueing Network Model, from a software architecture specification formally described in Chemical Abstract Machine.
基于队列网络模型，由化学抽象机中形式化描述的软件体系结构规约，导出了一种性能评价模型。 - Following the γω-calculus in [ 1], this paper discusses both semantics and abstract machine for the γω-calculus.
继文献[1]建立了γω演算之后，本文探讨γω演算的语义学与抽象机。 - In this paper the parallelism in compound function level is introduced into dataflow computing model. Its implementation in a abstract machine of SDS model is also discussed by describing the SDS-1 system.
本文研完在数据流计算模型中引入复合函数级并行的开发，讨论它在SDS模型的抽象机上的实现方法，并介绍以此为基础的模型机SDS-1系统。 - In this paper, the parallel graph rewriting abstract machine PAM/ TGR based on the Heterogeneous Parallel Graph Rewriting Execution Model HPGREM> is introduced firstly.
本文首先扼要地介绍了我们基于多相并行图重写执行模型HPGREM的并行图重写抽象机PAM/TGR的设计和实现。 - On implementation techniques for Prolog based on the Warren abstract machine
基于Warren抽象机的Prolog实现技术的研究 - A study of Prolog abstract machine and running model
Prolog抽象机及运行模型研究 - The second step is to create a finite state machine from the abstract machine.
第二，将抽象机展开成为一个一般的有限自动机。 - The B Method provides the ways to design software by abstract machine notations and supports rigorous mathematical definition and verification.
形式化方法B用抽象机对软件进行描述和设计，它支持严格的数学定义和证明，可以保证模型的正确性和无歧义性。 - This paper applies the B method to Web-based travel agency system, based on the analysis of the state representation in server and client side the formal abstract machine as well as its refinements is given.
结合网络旅游服务系统模型，讨论了形式化B方法的具体运用，在分析服务器端和客户端状态表示的基础上，给出了该系统的抽象机模型及其精化过程。 - As an "abstract machine", diagram can input the content that can be dictated and at the same time can output the invisible form, which is applied to the architectural design and has the function of generating new form.
作为抽象的机器，图解一边输入可述的内容，一边输出可见的形式。运用到建筑设计中，具有生成新形式的作用。 - The real number abstract machine, the plural number abstract machine, the node abstract machine, the electric current monitor and the central controller with the B method has been constructed. And simultaneously partial the abstract machines were to carry on the purification and the realization.
用B方法构建了实数抽象机、复数抽象机、节点抽象机、电流监控器及系统控制器，同时部分抽象机进行了精化和实现。 - This paper presents a proof framework about the verification of parallel programs, including the definition of our abstract machine, the formal specification for object code, logic inference rules and the proof of soundness theory.
本文提出了一个完整的基于多核并行程序的验证框架MCAP，该验证框架包括了抽象机器定义、目标代码的形式规范、逻辑推理系统、可靠性定理及证明。 - A fault injection model of component security was proposed based on fault injection technology, and then testing approach of component security based on interface fault injection and chemical abstract machine were also proposed.
基于软件错误注入技术，研究构件安全测试错误注入模型，并基于接口错误注入及化学抽象机研究构件安全性测试方法及其原型系统具有重要的理论和实际意义。 - Automaton is the model to realize computer program. The task of automaton theory is to study the model of the abstract machine.
自动机是实现计算机程序的模型，自动机理论的任务就在于研究这种抽象机器的模型。 - B-method use Abstract Machine Notation ( AMN) construct requirement model. B-method supports the test of category and dynamic verification of specification.
B方法使用抽象机符号（AMN）来构造模型，并支持规范说明的类型检测和动态验证。